l1_pgentry_t *hl2 = map_domain_mem(smfn << PAGE_SHIFT);
int i, limit;
- SH_VVLOG("%s: smfn=%p freed\n", __func__, smfn);
+ SH_VVLOG("%s: smfn=%p freed", __func__, smfn);
#ifdef __i386__
if ( shadow_mode_external(d) )
spte = l1e_empty();
- SH_VVLOG("shadow_fault( va=%p, code=%lu )", va, regs->error_code );
+ SH_VVLOG("shadow_fault( va=%p, code=%lu )", va, regs->error_code);
perfc_incrc(shadow_fault_calls);
check_pagetable(ed, "pre-sf");
__guest_get_l2e(ed, va, &gpde);
if ( unlikely(!(l2e_get_flags(gpde) & _PAGE_PRESENT)) )
{
- SH_VVLOG("shadow_fault - EXIT: L1 not present" );
+ SH_VVLOG("shadow_fault - EXIT: L1 not present");
perfc_incrc(shadow_fault_bail_pde_not_present);
goto fail;
}
orig_gpte = gpte = linear_pg_table[l1_linear_offset(va)];
if ( unlikely(!(l1e_get_flags(gpte) & _PAGE_PRESENT)) )
{
- SH_VVLOG("shadow_fault - EXIT: gpte not present (%lx)",gpte );
+ SH_VVLOG("shadow_fault - EXIT: gpte not present (%lx)", gpte);
perfc_incrc(shadow_fault_bail_pte_not_present);
goto fail;
}
printk("DOM%uP%u: SH_LOG(%d): " _f "\n", \
current->domain->id , current->processor, __LINE__ , ## _a )
#else
-#define SH_LOG(_f, _a...)
+#define SH_LOG(_f, _a...) ((void)0)
#endif
#if SHADOW_VERBOSE_DEBUG
printk("DOM%uP%u: SH_VLOG(%d): " _f "\n", \
current->domain->id, current->processor, __LINE__ , ## _a )
#else
-#define SH_VLOG(_f, _a...)
+#define SH_VLOG(_f, _a...) ((void)0)
#endif
#if SHADOW_VVERBOSE_DEBUG
printk("DOM%uP%u: SH_VVLOG(%d): " _f "\n", \
current->domain->id, current->processor, __LINE__ , ## _a )
#else
-#define SH_VVLOG(_f, _a...)
+#define SH_VVLOG(_f, _a...) ((void)0)
#endif
#if SHADOW_VVVERBOSE_DEBUG
printk("DOM%uP%u: SH_VVVLOG(%d): " _f "\n", \
current->domain->id, current->processor, __LINE__ , ## _a )
#else
-#define SH_VVVLOG(_f, _a...)
+#define SH_VVVLOG(_f, _a...) ((void)0)
#endif
#if FULLSHADOW_DEBUG
printk("DOM%uP%u: FSH_LOG(%d): " _f "\n", \
current->domain->id, current->processor, __LINE__ , ## _a )
#else
-#define FSH_LOG(_f, _a...)
+#define FSH_LOG(_f, _a...) ((void)0)
#endif